From: Katsumi Yamaoka <yamaoka@jpl.org>
Date: Sat, 5 Feb 2011 11:23:52 +0000 (+0000)
Subject: Makefile.in (webhack, nowebhack): New targets that I forgot to merge from Gnus last.
X-Git-Tag: archive/raspbian/1%29.2+1-2+rpi1~1^2~324^2~4916
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https:/www.github.com/%22bookmarks:///%22http:/www.example.com/cgi/%22https:/www.github.com/%22bookmarks:/?a=commitdiff_plain;h=5669b869a14e4e2fede2d3ce401d7ad754f2a146;p=emacs.git

Makefile.in (webhack, nowebhack): New targets that I forgot to merge from Gnus last.
---

diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index f1dbf3bcc08..c657551862b 100644
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -209,6 +209,12 @@ mkinfodir = @cd ${srcdir}; test -d ${infodir} || mkdir ${infodir} || test -d ${i
 
 info: $(INFO_TARGETS)
 
+webhack: clean
+	echo '@set WEBHACKDEVEL' > overrides.texi
+
+nowebhack: clean
+	echo '@clear WEBHACKDEVEL' > overrides.texi
+
 dvi: $(DVI_TARGETS)
 
 pdf: $(PDF_TARGETS)